Boolean Conservative Extension Results for some Modal Relevant Logics
نویسندگان
چکیده
منابع مشابه
Adequacy Results for Some Priorean Modal Propositional Logics
Standard possible world semantics for propositional modal lan-guages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., “at” which some propositions lack a truthvalue). In Section 2, I build a world semantics,...
متن کاملDualities for Some Intuitionistic Modal Logics
We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [8, 9]. Unlike other dualities for IK reported in the literature (see for example [13]), the dual structures of the duality presented here are ordered topological spaces endowed with just one extra relation, which is used to define the set-theoretic representation of both 2 and 3. Also, this duality natura...
متن کاملOn Some Intuitionistic Modal Logics
Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [18], Bull [1], [2], [3], Prawitz [17] etc. In this paper, we treat modal logics based on the intuitionistic prepositional logic, which we call intuitionistic modal logics (abbreviated as IML's). Our main concern is to compare properties of several IML's of S4or S5-type 03^ using some model t...
متن کاملSemantic Decision Procedures for Some Relevant Logics
This paper proves decidability of a range of weak relevant logics using decision procedures based on the Routley-Meyer semantics. Logics are categorized as -logics, for those proved decidable using a filtration method, and -logics, for those proved decidable using a direct (unfiltered) method. Both of these methods are set out as reductio methods, in the style of Hughes and Cresswell. We also...
متن کاملOn the succinctness of some modal logics
Article history: Received 24 February 2012 Received in revised form 12 February 2013 Accepted 16 February 2013 Available online 18 February 2013
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2010
ISSN: 1448-5052
DOI: 10.26686/ajl.v8i0.1812